61. Defending the Axioms
پدیدآورنده : / Penelope Maddy
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Axiomatic set theory,Axiomatic set theory, Philosophy,Axioma's, gtt,Axiomatische methode, gtt,Axiomatische Methode., swd,Mengenlehre., swd,Philosophie., swd
رده :
QA248
.
M276
2011
62. Defending the axioms
پدیدآورنده : / Penelope Maddy.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
رده :
QA248
.
M276
2011
63. Defending the axioms :
پدیدآورنده : Penelope Maddy
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Axiomatic set theory,Axiomatic set theory-- Philosophy
64. Defending the axioms : on the philosophical foundations of set theory
پدیدآورنده : Maddy, Penelope
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Axiomatic set theory,Philosophy ، Axiomatic set theory
رده :
QA
248
.
M23D4
65. Deutung des Begriffs "physikalische Theorie" und axiomatische Grundlegung der Hilbertraumstruktur der Quantenmechanik durch Hauptsغatze des Messens
پدیدآورنده : Ludwig, Gunther
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Quantum theory,، Hilbert space,، Axiomatic set theory
رده :
QC
174
.
5
.
L82
66. Digital and Image Geometry :
پدیدآورنده : Gerhard Goos
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
TA1637
.
G474
2001
67. Elements of Logical Reasoning
پدیدآورنده : / Jan von Plato
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق
رده :
QA9
.
V66
2013
68. Elements of logical reasoning /
پدیدآورنده : Jan von Plato
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical,Reasoning
رده :
QA9
.
V66
2013
69. Equilibrium, markets and dynamics :
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
HB145
.
E685
2013
70. Essays on the Foundations of Mathematics by Moritz Pasch
پدیدآورنده : edited by Stephen Pollard.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Philosophy.
71. Feferman on foundations :
پدیدآورنده : Gerhard Jäger, Wilfried Sieg, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematical theory of computation.,MATHEMATICS-- General.,Philosophy: logic.
رده :
QA9
.
2
72. Formal Aspects of Measurement :
پدیدآورنده : edited by Tim Denvir, Rosalind Herman, Robin W. Whitty.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Software engineering.
73. Formal Methods in the Methodology of Empirical Sciences Proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, June 17-21, 1974.
پدیدآورنده : Malinowski, Grzegorz
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
Q174
.
M355
2013
74. Foundations of set theory
پدیدآورنده : Abraham A. Fraenkel, Yehoshua Bar-Hillel [and] Azriel Levey. With the collaboration of Dirk van Dalen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics-- Philosophy.,Set theory.,Mathematics-- Philosophy.,Set theory.
رده :
QA248
.
F753
1973
75. From axiomatization to generalizatrion of set theory
پدیدآورنده : Fendrich, Samuel
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : HA Statistics
76. Fuzzy Decision Procedures with Binary Relations :
پدیدآورنده : by Leonid Kitainik.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Operations research.
رده :
QA279
.
4
B954
1993
77. Fuzzy Logic :
پدیدآورنده : W Leinfellner
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Fuzzy sets -- Congresses.,Fuzzy systems -- Congresses.
78. Fuzzy Sets, Decision Making, and Expert Systems
پدیدآورنده : by H.-J. Zimmermann.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Economics.
رده :
QA279
.
4
B945
1987
79. Game theory
پدیدآورنده : / by Hans J.M. Peters
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Game theory,Negotiation--Mathematical models,Axiomatic set theory
رده :
HB144
.
P48
2015
80. General topology III : paracompactness, function spaces, descriptive theory
پدیدآورنده : A.V. Arhangelskii )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Topology,، Functional analysis,، Axiomatic set theory
رده :
QA
611
.
G4413
III